proof of infinite geometric series formulas